21. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
22. Computability and logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
23. Computability and logic
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
24. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
25. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
26. Computability and unsolvability
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
27. Computability theory: an introduction
پدیدآورنده : Jones, Neil D.
موضوع : ، Recursive functions,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
28. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
29. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN DAVID
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
30. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982
31. Computability with pascal
پدیدآورنده : Mallozzi, John s.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
32. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
no
.
574
33. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
34. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions
رده :
QA
1
.
L4
v
.
574
35. Computations in higher types
پدیدآورنده : Moldestad, Johan, 6491-
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
Vol
.
574
36. Computations in higher types, Lecture notes in mathematics
پدیدآورنده : Moldestad, Johan,6491-, Johan Moldestad
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Recursive functions
رده :
QA
3
.
M6C6
1977
37. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
38. Degrees of unsolvability
پدیدآورنده : / by Joseph R. Shoenfield
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Recursive functions
رده :
511
Sh-D
39. Degrees of unsolvability
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
